New methods for creating testfiles: Tuning enterprise search with C-TEST David Hawking,1 Paul Thomas,2 Tom Gedeon,3 Timothy Jones,3 Tom Rowlands2 1 Funnelback 2 CSIRO 3 Australian National University

Source URL: es.csiro.au

header for SPIE use The Advanced Camera for the Hubble Space Telescope Holland Forda, Frank Bartkoa, Pierre Belya, Thomas Broadhursta, Chris Burrowsa, Edward Chenga, Mark Clampina, Jim Crockera, Paul Feldmana, David Gol

Source URL: acs.pha.jhu.edu

Library of Congress Fiscal 2014 Budget Justification Submitted for use of the committees on appropriations View of the Thomas Jefferson Building from the U.S. Capitol, Provided by the Office of the Librarian

Source URL: www.copyright.gov

• Congressional Research Service
• Library of Congress
• Information science
• Research libraries
• Library science
• Government
• National Digital Information Infrastructure and Preservation Program
• Librarian of Congress
• Librarian
• United States Copyright Office
• James H. Billington
• David S. Mao

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways David Raymond Christiansen, Marco Carbone, and Thomas Hildebrandt IT University of Copenhagen, Rued Langgaards Vej 7, 2300 Copenhagen, Denmark

Source URL: www.davidchristiansen.dk

HEALTHCARE IT Securing Information Technology in Healthcare Denise Anthony, Andrew T. Campbell, Thomas Candon, Andrew Gettinger, David Kotz, Lisa A. Marsch, Andrés Molina-Markham, Karen Page, and Sean W. Smith | Dartmo

Source URL: seclab.illinois.edu

Allred_2002 MARS JARS: HOW STUDENTS CAN BUILD INEXPENSIVE, MINI MARS ENVIRONMENTS FOR SCIENCE AND ENGINEERING PROJECTS. David D. Allred (Brigham Young University), Paul M. Allred (Farrer Middle School), Thomas Riddle (Ce

Source URL: www.marspapers.org

Mind the Gap A Verification Framework for Low-Level C Simon Winwood1,2 , Gerwin Klein1,2 , Thomas Sewell1 , June Andronick1 , David Cock1 , and Michael Norrish1,3 1 2

Source URL: research.davidcock.fastmail.fm

Empirical Evidence for Markov Chain Monte Carlo in Memory Search David D. Bourgin () Joshua T. Abbott () Thomas L. Griffiths (tom ) Department of Psyc

Source URL: cocosci.berkeley.edu

• Semantics
• Monte Carlo methods
• Markov models
• Computational statistics
• Mental processes
• Semantic memory
• MetropolisHastings algorithm
• Markov chain Monte Carlo
• Recall
• Markov chain
• Artificial neural network
• Latent semantic analysis

Metasearch tools for desktop search Paul Thomas David Hawking CSIRO

Source URL: es.csiro.au

Adrenaline: Pinpointing and Reining in Tail Queries with Quick Voltage Boosting Chang-Hong Hsu⇤ , Yunqi Zhang⇤ , Michael A. Laurenzano⇤ , David Meisner† , Thomas Wenisch⇤ , Jason Mars⇤ , Lingjia Tang⇤ , Ron

Source URL: web.eecs.umich.edu